CircularQuaternionMatrixDistribution
CircularQuaternionMatrixDistribution[n] represents a circular quaternion matrix distribution with matrix dimensions {2 n,2 n} over the field of complex numbers.
Please visit the official Wolfram Language Reference for more details and examples on core symbols.